Fuzzy logic programming via multilattices

نویسندگان

  • Jesús Medina
  • Manuel Ojeda-Aciego
  • Jorge Ruiz-Calviño
چکیده

We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in order to provide an ideal-based semantics; on the other hand, a restricted semantics, in which interpretations assign elements of a multilattice to each propositional symbol, is presented and analysed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fuzzy Formal Concept Analysis via Multilattices: First Prospects and Results

The most general algebraic structure of truth-values considered in the theory of fuzzy concept analysis to evaluate the attributes and objects has been a lattice. However, in some examples arises the necessity of a more general structure. In this paper we investigate the use of multilattices as underlying set of truth-values for these attributes and objects.

متن کامل

On residuation in multilattices: Filters, congruences, and homomorphisms

Continuing with our general study of algebraic hyperstructures, we focus on the residuated operation in the framework of multilattices. Firstly, we recall the existing relation between filters, homomorphisms and congruences in the framework of multilattices; then, introduce the notion of residuated multilattice and further study the notion of filter, which has to be suitably modified so that th...

متن کامل

Concept-Forming Operators on Multilattices

Adjoint pairs or adjoint triples defined on lattices have proven to be a useful tool when working in fuzzy formal concept analysis. This paper shows that adjoint pairs and triples can play as well an important role within the framework of multilattices, especially in order to form the Galois connections needed to build concept multilattices.

متن کامل

A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming

This paper presents a computability theorem for fixed points of multi-valued functions defined on multilattices, which is later used in order to obtain conditions which ensure that the immediate consequence operator computes minimal models of multilattice-based logic programs in at most ω iterations.

متن کامل

Nurse rostering using fuzzy logic: A case study

In this paper, we used the fuzzy set theory for modeling flexible constraints and uncertain data in nurse scheduling problems and proposed a fuzzy linear model for nurse rostering problems. The developed model can produce rosters that satisfy hospital objectives, ward requirements and staff preferences by satisfying their requests as much as possible. Fuzzy sets are used for modeling demands of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fuzzy Sets and Systems

دوره 158  شماره 

صفحات  -

تاریخ انتشار 2007